Computational Logic

https://www.cs.sfu.ca/research/groups/CL/index.htm

http://www.computational-logic.org/

https://online.stanford.edu/courses/cs157-computational-logic

https://emcl-study.eu/computational_logic.html

Computational Logic:proof theory, computational complexity and automated deduction.

http://www.computational-logic.org/index.php

https://tu-dresden.de/